conversion of Ndfsm to dfsm